8.8 整数の順序関係は決定可能